Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
211	(or Eedie & Eddie on the Wire An Experiment in Music Generation Peter S. Langston Bell Communications Research Add to Reading List Source URL: www.langston.com Language: English - Date: 2005-01-25 00:49:47 Formal grammar Algorithmic composition Computer music MIDI DECtalk Rhythm Algorithm Synthesizer Meter Music Formal languages L-system
212	Assessment of Large Student Cohorts  In a Formal Distributed Learning Environment    Naveed A. Malik   FounderRector   Virtual University of Pakistan  Add to Reading List Source URL: linc.mit.edu Language: English - Date: 2014-07-24 17:06:43 Examinations Final examination Grade The Exam Test Romanian educational system Junior Certificate Education Evaluation Standardized tests
213	ConceptOntoFs: A Semantic File System for Inferno , Abhey Shah University Of York Leo Caves, University Of York Add to Reading List Source URL: lsub.org Language: English - Date: 2014-05-08 11:33:12 Semantic Web Knowledge representation Information science Technical communication Formal concept analysis File system Data model Geographic information system Attrib Ontology Science Information
214	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
215	A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:37:21 Applied mathematics AgentSpeak Operational semantics Bisimulation Programming language Agent-based model State transition system 3APL Logic programming Multi-agent systems Computing Theoretical computer science
216	Evolution Complexity of the Elementary Cellular Automaton Rule 18 Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Mathematical proof Pumping lemma for regular languages Formal languages Mathematics L-system
217	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:19 Functional languages Type theory Logic in computer science Procedural programming languages Formal methods OCaml Type system Coq ML Software engineering Computing Programming language theory
218	21st INTERNATIONAL CONFERENCE ON SYSTEMS RESEARCH, INFORMATICS & CYBERNETICS Add to Reading List Source URL: www.iias.edu Language: English - Date: 2011-10-12 13:59:14 Cybernetics Technology Robotics Multi-agent system Emerging technologies Agent-based model Artificial intelligence Science Formal sciences Knowledge
219	PDF Document Add to Reading List Source URL: all.net Language: English - Date: 2010-05-24 14:08:04 Computability theory Formal methods Models of computation Computer security Intent Military science Operating system Computer Email Computing Electronics Technology
220	PDF Document Add to Reading List Source URL: www.stanfordlawreview.org Language: English - Date: 2013-09-02 17:44:09 Database management systems Database theory Transaction processing Human rights Formal sciences Privacy Surveillance Internet privacy Geographic information system Data management Technology Ethics

UPDATE